Optics in the wild: reverse mode automatic differentiation in Julia

Abstract: Using categorical inspiration in real world software systems: "I'll definitely be talking about the optics formalism of reverse mode automatic differentiation, but if I have space, I might end up talking about some more recent work also."

category theory

Audience: researchers in the topic

( video )

Intercats: Seminar on Categorical Interaction